1. Android recipes :
Author: Dave Smith, Erik Hellman, authors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Mobile computing.,Computer Science.,Mobile Computing.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
76
.
A65
2. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
3. Beginning Haskell
Author: by Alejandro Serrano Mena.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
4. Conceptual modeling--ER 2011 :
Author: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
Classification :
QA76
.
9
.
C65
I58
2011
5. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
6. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
7. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
8. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
9. Fundamentals of Java Programming /
Author: by Mitsunori Ogihara.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Java.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Java
Classification :
QA76
.
73
.
J38
10. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
11. HL7 for BizTalk /
Author: Howard Edidin, Vikas Bhardwaj
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft BizTalk,Microsoft BizTalk server,Medical records-- Data processing,Computer Science,Programming Languages, Compilers, Interpreters,Programming Techniques
Classification :
QA76
.
9
.
C55
12. Implementation and application of functional language
Author: / Jurriaan Hage, Marco T. Morazaan (eds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
Classification :
QA76
.
62
.
I58
2010
13. Implementation and application of functional languages :
Author: Jurriaan Hage, Marco T. Morazán (eds)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages, Congresses,Functional programming languages-- Congresses
Classification :
QA76
.
62
.
I58
2010
14. Introducing Algorithms in C
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer Science; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Programming Techniques
15. Introducing Jakarta EE CDI
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer Science; Java; Programming Techniques; Programming Languages, Compilers, Interpreters
16. Logic and Program Semantics
Author: edited by Robert L. Constable, Alexandra Silva
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
17. Model and data engineering :
Author: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
D3
18. Modern Programming Made Easy
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer Science; Java; Programming Languages, Compilers, Interpreters; Programming Techniques; Web Development
19. OpenMP in a Heterogeneous World
Author: edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer system performance,Algorithm Analysis and Problem Complexity,Computation by Abstract Devices,Computer Science,Processor Architectures,Programming Languages, Compilers, Interpreters,Programming Techniques,System Performance and Evaluation
20. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
